2 402 202 книги
без регистрации
бесплатно
Мобильная версия
Книги
Категории и жанры
Лучшие книги
Добавить книгу
Библиотека
Помощь
Мобильная версия
Плагин
Контакты
Как помочь?
Спонсорам и инвесторам
API
Booksee
.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Mathematical Logic
Stephen Cole Kleene
Категория:
Математика
,
Прикладная математика
4.05 Mb
#2
The Foundations of Intuitionistic Mathematics (Studies in Logic and the Foundations of Mathematics, 39)
Stephen Cole Kleene
,
Richard Eugène Vesley
9.79 Mb
#3
The Kleene symposium: Proceedings Madison, 1978
Stephen C. Kleene
,
Jon Barwise
,
H. Jerome Keisler
,
Kenneth Kunen
,
University of Wisconsin--Madison
,
1978 Kleene Symposium
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
2.82 Mb
#4
The Kleene Symposium: Proceedings of the Symposium Held June 18-24, 1978 at Madison, Wisconsin, U.S.A.
Stephen C. Kleene
,
Jon Barwise
,
H. Jerome Keisler
,
Kenneth Kunen
,
University of Wisconsin--Madison
,
1978 Kleene Symposium
4.95 Mb
#5
The Foundations of Intuitionistic Mathematics: Especially In Relation to Recursive Functions
Stephen Cole Kleene
,
R.E. Vesley
Категория:
Mathematical logic
1.59 Mb
#6
Collected works. Publications 1929-1936
Kurt Gödel
,
Solomon Feferman
,
John W. Dawson Jr.
,
Stephen C. Kleene
,
Gregory H. Moore
,
Robert M. Solovay
,
Jean van Heijenoort
Категория:
Mathematical logic
4.26 Mb
#7
Collected works. Publications 1938-1974
Kurt Gödel
,
S. Feferman
,
John W. Dawson Jr.
,
Stephen C. Kleene
,
G. Moore
,
R. Solovay
,
the late Jean van Heijenoort
Категория:
Mathematical logic
3.42 Mb
#8
Mathematical logic
Stephen Cole Kleene
Категория:
Mathematical logic
2.92 Mb
#9
Collected Works: Volume I: Publications 1929-1936
Kurt Gödel
,
Solomon Feferman
,
John W. Dawson Jr.
,
Stephen C. Kleene
,
Gregory H. Moore
,
Robert M. Solovay
,
Jean van Heijenoort
Категория:
Математика
26.18 Mb
#10
Turing's Analysis of Computability and Major Applications of it (Oxford
Stephen C Kleene
1.74 Mb
#11
Collected Works: Volume I: Publications 1929-1936 (Godel, Kurt//Collected Works)
Kurt Gödel
,
Solomon Feferman
,
John W. Dawson Jr.
,
Stephen C. Kleene
,
Gregory H. Moore
,
Robert M. Solovay
,
Jean van Heijenoort
13.27 Mb